Knowledge Representation with Terminological Logics

! ‚Concept‘ as atomic unit of knowledge represents a class of entities of a discourse domain ! Concept is: " named after the elements of the class " graphically illustrated as ellipse, that is framing its name ! A concept, that represents a set S, is denoted as |C|S ! If S ⊂ T, then: |C|S subconcept (Sub C) of |C|T |C|T super concept (SuperC) of |C|S ! This relation is: " called concept subsumption and " displayed as bold, directed arrow from |C|S to |C|T ! You say: |C|T subsumes |C|S |C|S specializes |C|T 3 Concepts and Taxonomies Concept Subsumption ! is transitive : If |C|A subsumes |C|B and |C|B subsumes |C|C, then |C|A subsumes |C|C. ! is antisymmetric: If |C|A subsumes |C|A‘ und |C|A‘ subsumes |C|A, then |C|A = |C|A‘ ! Induces a partial order on a set of concepts and yields graphically to a directional acyclic graph, whose edges correspond to subsumption relations.